(adjust_intervals_for_insertion): By default, copy
authorRichard M. Stallman <rms@gnu.org>
Tue, 15 Jun 1993 07:48:27 +0000 (07:48 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 15 Jun 1993 07:48:27 +0000 (07:48 +0000)
properties from before the insertion.

src/intervals.c

index e6254cbdf6ae6f362e600af29fee5b3de0bbe2df..a737e9dceefc57d3e1eb5eabd0b59b44711cbfc0 100644 (file)
@@ -655,7 +655,7 @@ adjust_intervals_for_insertion (tree, position, length)
       /* If both intervals are sticky here, then default to the
          left-most one.  But perhaps we should create a new
         interval here instead... */
-      if (END_STICKY_P (prev))
+      if (END_STICKY_P (prev) || ! FRONT_STICKY_P (i))
        i = prev;
     }